Books by author Andrei Voronkov

Showing 20 – 30 out of 30 results

1. 

   Logic Programming and Automated Reasoning

   Andrei Voronkov | Springer, Berlin, 1992

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
2. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2015

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
3. 

   Perspectives of System Informatics

   Manuel Mazzara, Andrei Voronkov | Springer International Publishing AG, 2016

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
4. 

   Automated Deduction - CADE-18

   Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
5. 

   Perspectives of Systems Informatics

   Edmund M. Clarke, Irina Virbitskaite, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
6. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Nikolaj Bj, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.76 €

   Buy
7. 

   Perspectives of Systems Informatics

   Andrei Voronkov, Irina Virbitskaite | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
8. 

   Logic Programming and Automated Reasoning

   Harald Ganzinger, David McAllester, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
9. 

   Logic for Programming and Automated Reasoning

   Michel Parigot, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2000

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
10. 

    Perspectives of System Informatics

    Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov | Springer Nature Switzerland AG, 2019

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.62 €

    Sale 7 %

    You save 4.28 €

    Buy

We inform you about all changes of your order. Find out more